logical programming

logical programming
= logic programming
логическое программирование
одна из парадигм программирования (programming paradigm) - состоит в описании задачи совокупностью утверждений на языке логического программирования, т. е. записи знаний в декларативной форме. Решение получается с помощью автоматического вывода в некоторой формальной (дедуктивной) системе. Обычно логическое программирование связывают с языком Prolog
см. тж. programming

Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. . 1998-2007.

Игры ⚽ Нужна курсовая?

Смотреть что такое "logical programming" в других словарях:

  • Programming style — is a set of rules or guidelines used when writing the source code for a computer program. It is often claimed that following a particular programming style will help programmers to read and understand source code conforming to the style, and help …   Wikipedia

  • Programming paradigm — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concu …   Wikipedia

  • Logical security — consists of software safeguards for an organization’s systems, including user ID and password access, authentication, access rights and authority levels. These measures are to ensure that only authorized users are able to perform actions or… …   Wikipedia

  • Logical harmony — Logical harmony, a name coined by Sir Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system.The logician Gerhard Gentzen proposed that the meanings of logical connectives could be given by… …   Wikipedia

  • Logical Systems Corporation — is a manufacturer of IC programming adapters, eprom emulator adapters, IC prototyping adapters and surface mount to thru hole adapters. It is a privately held company incorporated in 1982 and is based in Syracuse, New York. The CEO is Mitchell… …   Wikipedia

  • Logical disjunction — Disjunction redirects here. For separation of chromosomes, see Meiosis. For disjunctions in distribution, see Disjunct distribution. Venn diagram of the logical disjunction of A and B …   Wikipedia

  • Logical conjunction — ∧ redirects here. For exterior product, see exterior algebra. Venn diagram of …   Wikipedia

  • Logical spreadsheet — A logical spreadsheet is a spreadsheet in which formulas take the form of logical constraints rather than function definitions.In traditional spreadsheet systems, such as Excel, cells are partitioned into directly specified cells and computed… …   Wikipedia

  • Logical Unit Number — In computer storage, a logical unit number or LUN is simply the number assigned to a logical unit. A logical unit is a SCSI protocol entity, the only one which may be addressed by the actual input/output (I/O) operations. Each SCSI target… …   Wikipedia

  • Programming language for Computable Functions — The Programming language for Computable Functions, or PCF, is a typed functional language introduced by Gordon Plotkin in 1977. It is based on the Logic of Computable Functions (LCF) by Dana Scott. It can be considered as a simplified version of… …   Wikipedia

  • Imperative programming — In computer science, imperative programming is a programming paradigm that describes computation in terms of statements that change a program state. In much the same way as the imperative mood in natural languages expresses commands to take… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»